He Jifeng: przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Don't use scam websites

Książki (16)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

Zhiming Liu, He Jifeng

Rok:

2007

Język:

english

Plik:

PDF, 19.11 MB

0 / 0

english, 2007

2

The Fundamental Research for Trustworthy Software

The Fundamental Research for Trustworthy Software

Rok:

2023

Język:

english

Plik:

PDF, 736 KB

0 / 5.0

english, 2023

3

Unifying theories of programming

Unifying theories of programming

Hoare, C. A. R., Jifeng, He

Rok:

1998

Język:

english

Plik:

PDF, 22.47 MB

0 / 0

english, 1998

4

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 10.53 MB

0 / 0

english, 2006

5

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 11.60 MB

0 / 0

english, 2011

6

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.16 MB

0 / 0

english, 2009

7

Unifying theories of programming

Unifying theories of programming

C.A.R. Hoare, He Jifeng

Rok:

1998

Język:

english

Plik:

DJVU, 1.89 MB

0 / 0

english, 1998

8

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.50 MB

0 / 5.0

english, 2009

9

Unifying theories of programming

Unifying theories of programming

C.A.R. Hoare, He Jifeng

Rok:

1998

Język:

english

Plik:

DJVU, 11.64 MB

0 / 0

english, 1998

10

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 10.73 MB

0 / 5.0

english, 2011

11

Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers

Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joseph Fong (auth.), Elvis Wai Chung Leung, Fu Lee Wang, Langfang Miao, Jianmin Zhao, Jifeng He (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 5.00 MB

0 / 0

english, 2008

12

ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare, He Jifeng (auth.), Rachid Guerraoui (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 4.47 MB

0 / 0

english, 1999

13

Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Jean Vuillemin (auth.), He Jifeng, Masahiko Sato (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 3.85 MB

0 / 0

english, 2000

14

Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers

Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joseph Fong (auth.), Elvis Wai Chung Leung, Fu Lee Wang, Langfang Miao, Jianmin Zhao, Jifeng He (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 7.65 MB

0 / 0

english, 2008

15

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Springer-Verlag London

He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc, BSc(Hons), Kenji Taguchi MA (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 12.67 MB

0 / 0

english, 1999

16

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 9.89 MB

0 / 0

english, 2011